Adjoint relations for the category of local dcpos
نویسندگان
چکیده
In this paper, we consider the forgetful functor from the category LDcpo of local dcpos (respectively, Dcpo of dcpos) to the category Pos of posets (respectively, LDcpo of local dcpos), and study the existence of its left and right adjoints. Moreover, we give the concrete forms of free and cofree S-ldcpos over a local dcpo, where S is a local dcpo monoid. The main results are: (1) The forgetful functor U : LDcpo −→ Pos has a left adjoint, but does not have a right adjoint; (2) The inclusion functor I : Dcpo −→ LDcpo has a left adjoint, but does not have a right adjoint; (3) The forgetful functor U : LDcpo-S −→ LDcpo has both left and right adjoints; (4) If (S, ·, 1) is a good ldcpo-monoid, then the forgetful functor U : LDcpo-S −→ Pos-S has a left adjoint.
منابع مشابه
Limits and colimits in the category of pre-directed complete pre-ordered sets
In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...
متن کاملAdjunctions between Hom and Tensor as endofunctors of (bi-) module category of comodule algebras over a quasi-Hopf algebra.
For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor endofunctors V k - and - kV are left adjoint to some kinds of Hom-endofunctors of _HM. The units and counits of these adjunctions are formally trivial as in the classical case.The category of (bi-) modules over a quasi-Hopf algebra is monoidal and some generalized versions of Hom-tensor relations have been st...
متن کاملAn analytic solution for a non-local initial-boundary value problem including a partial differential equation with variable coefficients
This paper considers a non-local initial-boundary value problem containing a first order partial differential equation with variable coefficients. At first, the non-self-adjoint spectral problem is derived. Then its adjoint problem is calculated. After that, for the adjoint problem the associated eigenvalues and the subsequent eigenfunctions are determined. Finally the convergence ...
متن کاملA non-topological view of dcpos as convergence spaces
The category TOP of topological spaces is not cartesian closed, but can be embedded into the cartesian closed category CONV of convergence spaces. It is well known that the category DCPO of dcpos and Scott continuous functions can be embedded into TOP, and so into CONV, by considering the Scott topology. We propose a di3erent, “cotopological” embedding of DCPO into CONV, which, in contrast to t...
متن کاملThe Ho - Zhao Problem
Given a poset P , the set Γ(P ) of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory C of Posd (the category of posets and Scott-continuous maps) is said to be Γ-faithful if for any posets P and Q in C, Γ(P ) ∼= Γ(Q) implies P ∼= Q. It is known that the category of all continuous dcpos and the category of bounded complete dcpos are Γ-faithful, while Posd is not....
متن کامل